Modelling and Analysing Dynamic Decentralised Systems
نویسنده
چکیده
We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach with a multi-facet analysis approach that considers a reference abstract model and several specific ones derived from the abstract model in order to support facet-wise analysis. The method is illustrated with the modelling and the analysis of a mobile ad-hoc network. The Event-B framework and its related tools B4free and ProB are used to conduct the experiments.
منابع مشابه
Modelling and Analysing Dynamic Decentralised Systems: Application to Mobile Ad-hoc Network
We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach with a multi-facet analysis approach that considers a reference abstract model and several specific ones derived from the abstract model in order to support facet-wise analysis. The method is illustrated with the modelli...
متن کاملModelling and Analysis of Autonomous Shop Floor Control
To manage the increasing dynamics inside and outside a production system, a decentralised and autonomous control of shop floor logistics is a promising approach. For developing and benchmarking such autonomous control methods, dynamic models are essential. The paper introduces the idea of autonomous logistic processes and presents a dynamic simulation model of a shop floor with both a conventio...
متن کامل- 1 - Decentralised Process Modelling
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key to supporting collaborative development. Our approach relies on recognising individual developers’ states (“situations”) by analysing local development histories. Different situations can be used to trigger a variety ...
متن کاملAnalysing Different Ordering Policies in a Series Supply Chain by Using Coloured Petri Nets
The flow of products and information within supply chain networks is an important consideration for practitioners. Simulation tools provide an efficient approach for analysing and validating dynamic systems such as supply chains, where distorted information and poor product management often lead to uncertainty and to instability phenomena. This paper considers the case of a series decentralised...
متن کاملMULTI FRACTURE/DELAMINATION ANALYSIS OF COMPOSITES SUBJECTED TO IMPACT LOADINGS
A combined finite/ discrete element method is presented for modelling of composite specimens subjected to dynamic/impact loadings. The main task is set on developing an algorithm for simulation of potential bonding and debonding/delamination phenomena during impact or general dynamic loading conditions. In addition, full fracture analysis can also be performed. The proposed approach adopts a ge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0909.4896 شماره
صفحات -
تاریخ انتشار 2009